The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice

This article describes the development of MYNG to Version 1.01 in order to integrate the new Deliberation RuleML Version 1.01 Relax NG schema modules – and the RuleML sublanguages they define – into the RuleML language lattice, as well as to improve the functionality of the MYNG GUI and REST interface. MYNG support is provided for including the new modules of Deliberation RuleML 1.01 into customized schemas for sublanguages such as Datalog, Hornlog, and their many extensions. To also expose Disjunctive Datalog and extensions as RuleML sublanguages, the MYNG 1.01 GUI options are better aligned with the emergent structure of Deliberation RuleML features. Together, these modifications led to a vastly increased number of RuleML sublanguages in the lattice. To assist in ‘taming’ this growth, we introduce the anchor lattice as an abstraction mechanism: a sublattice of the RuleML language lattice containing the most significant Deliberation RuleML sublanguages. A MYNG algorithm and interface to discover anchors are offered. For each anchor, the highly modular Relax NG schema has been automatically converted into a monolithic XSD schema, maximizing compatibility with XML tools.